Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
671	Towards a Practical, Verified Kernel Kevin Elphinstone∗ Gerwin Klein∗ Philip Derrin Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Logic in computer science Functional languages L4 microkernel family Isabelle Microkernel Formal verification Kernel Gernot Heiser Haskell Computer architecture Computing Software
672	ROSATTE D5.2 - Test and validation plan Add to Reading List Source URL: tn-its.eu Language: English - Date: 2014-05-27 16:58:15 Validity Science Formal methods Evaluation Systems science Validation Verification and validation Test plan Software development process Software testing Systems engineering Pharmaceutical industry
673	Effective Abstractions for Verification under Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2014-11-06 11:16:38 Circular buffer Software engineering Data buffer Thread Abstract interpretation Parallel computing Variable Function Computer memory Mathematics Computing
674	Embedded Software Development Environment Solutions C-Language Verification Tool Using Formal Methods “VARVEL” TOKUOKA Hiroki, MIYAZAKI Yoshiaki, HASHIMOTO Yuusuke Add to Reading List Source URL: www.nec.com Language: English - Date: 2013-10-01 21:35:39 Logic in computer science Model checking Formal methods Software bug
675	¨t Augsburg Universita Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:19:46 Theoretical computer science Applied mathematics Computer programming Program refinement Abstract state machines Formal verification Formal specification Communications protocol ALGOL 68 Formal methods Computing Software engineering
676	Determining Software Models that Are Less Incorrect Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:08:34 Science Theoretical computer science Verification and validation Software development process Software bug Programming language Model checking Formal verification Device driver synthesis and verification Formal methods Software development Software testing
677	Manifesto from Dagstuhl Perspectives Workshop[removed]Modeling, Analysis, and Verification – The Formal Methods Manifesto 2010 Edited by Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-09-30 04:09:55 Software development Formal verification Model checking Formal specification Electronic design automation Specification language Verification and validation Software development process Programming language Formal methods Theoretical computer science Science
678	DirectX 11 CheatSheet Version 1.0 © [removed]Adam Sawicki, www.asawicki.info General IDXGISwapChain typedef struct DXGI_SWAP_CHAIN_DESC { Add to Reading List Source URL: www.asawicki.info Language: English - Date: 2014-08-29 14:57:10 C programming language C++ Data types Procedural programming languages Hardware verification languages E Typedef Struct C Computing Software engineering Computer programming
679	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
680	Principles for Verifying Stream Restoration Projects January 22, 2013 Verification of the initial and long term performance of urban and non-urban stream restoration projects is critical to ensure that pollutant reductio Add to Reading List Source URL: www.chesapeakebay.net Language: English - Date: 2013-02-15 12:35:40 Water Design review Stream restoration Verification Clean Water Act Software development process Systems engineering Science Environment

UPDATE